[[$R$]] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case($R$)Rnone: ${\it left}$ $\oplus$ ${\it right}$: ${\it left}$ $\oplus$ ${\it right}$base($b$). @R{-}loc($b$): R{-}base{-}ma($b$)